home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test32.gl < prev    next >
Text File  |  1991-06-18  |  179b  |  16 lines
  1. Basetype E;
  2.  
  3. Atom 
  4.    not :- E => E,
  5.    nand :- E & E => E;
  6.  
  7. Def
  8.    ring :- E => E^3;
  9.    ring a = [x,y,z]
  10.       where
  11.      x = nand [a,z];
  12.      y = not x;
  13.      z = not y;
  14.       endwhere;
  15.  
  16.